#include<stdio.h>
void main(){
	double PAI;
	PAI=3.1415;
	printf("PAI=%f\n",PAI);
} 
